home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-01 / phmacro.zip / STD4.OUT < prev    next >
Text File  |  1993-01-04  |  1KB  |  63 lines
  1. fn:  nam=<f> parms=<a> def=<f( x * (a))>
  2.                            <fffffffffff>
  3. obj: nam=<x> def=<2>
  4.                  <x>
  5. fn:  nam=<m> parms=<a> def=<a(w)>
  6.                            <mmmm>
  7. obj: nam=<w> def=<0,1>
  8.                  <www>
  9. 0:
  10.  :
  11. 0:
  12.  :
  13. 0: m (f)^m(m) ;
  14.  :
  15. 1: f
  16.  :
  17. treating end-of-buffer as end-of-file
  18. 0R: m(_)
  19.   :
  20. 0R: a(w)
  21.   : mmmm
  22. 0R: f(w)
  23.   : mmmm
  24. 0: f(w)^m(m) ;
  25.  : mmmm
  26. 1: w
  27.  : m
  28. hide-set #0 = {mw}
  29. 1: 0,1
  30.  : 000
  31. 0R: f(_)
  32.   :
  33. 0R: f( x * (a))
  34.   : fffffffffff
  35. hide-set #1 = {fmw}
  36. 0R: f( x * (0,1))
  37.   : ffffffff111ff
  38. hide-set #2 = {fm}
  39. 0: f( x * (0,1))^m(m) ;
  40.  : 2222222211122
  41. 0: F( x * (0,1))^m(m) ;
  42.  : 2222222211122
  43. hide-set #3 = {fmx}
  44. 0: F( 2 * (0,1))^m(m) ;
  45.  : 2223222211122
  46. 1: m
  47.  :
  48. treating end-of-buffer as end-of-file
  49. 0R: m(_)
  50.   :
  51. 0R: a(w)
  52.   : mmmm
  53. 0R: m(w)
  54.   : mmmm
  55. 0: F( 2 * (0,1))^m(w) ;
  56.  : 2223222211122 mmmm
  57. 0: F( 2 * (0,1))^M(w) ;
  58.  : 2223222211122 mmmm
  59. 0: F( 2 * (0,1))^M(0,1) ;
  60.  : 2223222211122 mm000m
  61. 0: f( 2 * (0,1))^m(0,1) ;
  62.  :
  63.